TIPP and the Spectral Expansion Method
نویسندگان
چکیده
Stochastic Process Algebras (SPA) like TIPP are a means for functional , performance and dependability modelling of concurrent systems in a modular fashion. Until now their applicability has been restricted by the requirement that the process state space should be nite. This was due to the solution algorithms that were employed. In this paper we present a variant of SPA which enables the Spectral Expansion solution method (SE) to be used, thus allowing the modelling of processes with innnite state space. Whether SE is applicable to a given problem can be decided before generating a detailed description of the state space. The mapping from the SPA to the SE formalisms can be automated and the technicalities of the solution can be hidden from the user. This approach is illustrated on a small but non-trivial example.
منابع مشابه
Analysis of Flow of Nanofluid through a Porous Channel with Expanding or Contracting Walls using Chebychev Spectral Collocation Method
In this work, we applied Chebychev spectral collocation method to analyze the unsteady two-dimensional flow of nanofluid in a porous channel through expanding or contracting walls with large injection or suction. The solutions are used to study the effects of various parameters on the flow of the nanofluid in the porous channel. From the analysis, It was established that increase in expansion r...
متن کاملEigenfunction expansion in the singular case for q-Sturm-Liouville operators
In this work, we prove the existence of a spectral function for singular q-Sturm-Liouville operator. Further, we establish a Parseval equality and expansion formula in eigenfunctions by terms of the spectral function.
متن کاملA spectral method based on Hahn polynomials for solving weakly singular fractional order integro-differential equations
In this paper, we consider the discrete Hahn polynomials and investigate their application for numerical solutions of the fractional order integro-differential equations with weakly singular kernel .This paper presented the operational matrix of the fractional integration of Hahn polynomials for the first time. The main advantage of approximating a continuous function by Hahn polynomials is tha...
متن کاملTIPP: taxonomic identification and phylogenetic profiling
MOTIVATION Abundance profiling (also called 'phylogenetic profiling') is a crucial step in understanding the diversity of a metagenomic sample, and one of the basic techniques used for this is taxonomic identification of the metagenomic reads. RESULTS We present taxon identification and phylogenetic profiling (TIPP), a new marker-based taxon identification and abundance profiling method. TIPP...
متن کاملError bounds in approximating n-time differentiable functions of self-adjoint operators in Hilbert spaces via a Taylor's type expansion
On utilizing the spectral representation of selfadjoint operators in Hilbert spaces, some error bounds in approximating $n$-time differentiable functions of selfadjoint operators in Hilbert Spaces via a Taylor's type expansion are given.
متن کامل